Functional calculus - PDFSEARCH.IO - Document Search Engine

Functional calculus
Results: 647

#	Item
591	Under consideration for publication in J. Functional Programming 1 Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2006-11-24 14:08:53 Models of computation Dependently typed programming Type theory Functional languages Functional programming Generalized algebraic data type Standard ML Lambda calculus Natural deduction Software engineering Declarative programming Computing
592	Functional Differential Geometry Functional Differential Geometry Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2012-08-23 15:10:03 Differential geometry Covariant derivative Geodesic Vector field Vector calculus Lie derivative Vector Generalizations of the derivative Tensor Mathematical analysis Mathematics Algebra
593	The Prime Number Theorem and Landau’s Extremal Problems Szil´ard Gy. R´ev´esz Add to Reading List Source URL: www.renyi.hu Language: English - Date: 2010-04-09 05:41:19 Riemann zeta function Functional equation Zeta Conjectures Riemann hypothesis Holomorphic functional calculus Mathematical analysis Analytic number theory Mathematics
594	A Short Course on Rearrangement Inequalities Almut Burchard June 2009 Add to Reading List Source URL: www.math.toronto.edu Language: English - Date: 2009-09-21 18:49:38 Operator theory Functional analysis Fourier analysis Calculus of variations Integral Minkowski inequality Convolution Continuous function Integration by substitution Mathematical analysis Mathematics Inequalities
595	Mining Time-Changing Data Streams Geoff Hulten Dept. of ComputerScience Add to Reading List Source URL: www.cs.uiuc.edu Language: English - Date: 2002-09-12 11:34:56 Control theory Discretization Functional analysis Numerical analysis Euler–Lagrange equation International Obfuscated C Code Contest Classical cipher Mathematical analysis Mathematics Calculus
596	Jacques Garrigue 2005 Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2005-07-19 20:19:40 Leibniz integral rule Mathematical analysis Mathematics Holomorphic functional calculus
597	Gaps in Support Vector Optimization Nikolas List1 (student author), Don Hush2 , Clint Scovel2 , Ingo Steinwart2 Add to Reading List Source URL: www.isa.uni-stuttgart.de Language: English - Date: 2007-10-16 15:01:14 Mathematics Mathematical optimization Spectral theory Convex analysis Convex optimization Lambda calculus Self-adjoint operator Hilbert space Spectral theory of ordinary differential equations Operator theory Mathematical analysis Functional analysis
598	Efficient Interpretation by Transforming Data Types and Patterns to Functions Jan Martin Jansen 1 , Pieter Koopman2 , Rinus Plasmeijer2 Add to Reading List Source URL: www.st.cs.ru.nl Language: English - Date: 2006-04-24 05:10:44 Data types Functional programming Higher-order functions Lambda calculus Type theory Fold Eval Algebraic data type Cons Software engineering Computing Computer programming

UPDATE